Relational Mathematics for Relative Correctness
نویسندگان
چکیده
In earlier work, we had presented a definition of software fault as being any feature of a program that admits a substitution that would make the program more-correct. This definition requires, in turn, that we define the concept of relative correctness, i.e., what it means for a program to be more-correct than another with respect to a given specification. In this paper we broaden our earlier definition to encompass non-deterministic programs, or non-deterministic representations of programs; also, we study the mathematical properties of the new definition, most notably its relation to the refinement ordering, as well as its algebraic properties with respect to the refinement lattice.
منابع مشابه
Introducing a Relational Network DEA Model with Stochastic Intermediate measures for Portfolio Optimization
متن کامل
Pairwise-Definable Subdirect Decompositions of General Database Schemata
One of the most important results in the theory of decomposition of universal relational schemata is the equivalence of acyclicity of the hypergraph of the schema to numerous desirable properties regarding simplicity of constraints, correctness of query evaluation algorithms, and complexity of integrity maintenance. In this paper, we show that the thrust of these results is not specific to the ...
متن کاملRoland Backhouse : Relational Theory of Data Types 5 David Basin : Program Synthesis as Higher Order Resolution
Introduction 4 Roland Backhouse: Relational Theory of Data Types 5 David Basin: Program Synthesis as Higher Order Resolution 6 Bettina Buth: Verification Support for Compiler Development 7 Debora Weber-Wulff: Growing Programs from Proofs 8 Jacques Loeckx (with M. Wolf): Constructive versus axiomatic and initial specifications 9 Friederike Nickl: An Algebraic/Axiomatic Interpretation of Data Flo...
متن کاملThe Relative Complexity of Updates for a Class of Database Views
It is well known that the complexity of testing the correctness of an arbitrary update to a database view can be far greater than the complexity of testing a corresponding update to the main schema. However, views are generally managed according to some protocol which limits the admissible updates to a subset of all possible changes. The question thus arises as to whether there is a more tracta...
متن کاملRevenue - Profit Measurement in Data Envelopment Analysis with Dynamic Network Structures: A Relational Model
The correlated models are introduced in this article regarding revenue efficiency and profit efficiency in dynamic network production systems. The proposed models are not only applicable in measuring efficiency of divisional, periodical and overall efficiencies, but recognizing the exact sources of inefficiency with respect to revenue and profit efficiencies. Two numerical examples, consisting ...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
عنوان ژورنال:
دوره شماره
صفحات -
تاریخ انتشار 2015